-
1 theoretical proof
Робототехника: теоретическое доказательство -
2 theoretical proof
-
3 theoretical proof
The New English-Russian Dictionary of Radio-electronics > theoretical proof
-
4 theoretical proof
-
5 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
6 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
7 theoretical
теоретический, расчетный
– theoretical evaluation
– theoretical mechanics
– theoretical proof
– theoretical skills
– theoretical study
-
8 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
9 aircraft
воздушное судно [суда], атмосферный летательный аппарат [аппараты]; самолёт (ы) ; вертолёты); авиация; авиационный; см. тж. airplane, boostaircraft in the barrier — самолёт, задержанный аварийной (аэродромной) тормозной установкой
aircraft off the line — новый [только что построенный] ЛА
B through F aircraft — самолёты модификаций B, C, D, E и F
carrier(-based, -borne) aircraft — палубный ЛА; авианосная авиация
conventional takeoff and landing aircraft — самолёт с обычными взлетом и посадкой (в отличие от укороченного или вертикального)
keep the aircraft (headed) straight — выдерживать направление полёта ЛА (при выполнении маневра); сохранять прямолинейный полет ЛА
keep the aircraft stalled — сохранять режим срыва [сваливания] самолёта, оставлять самолёт в режиме срыва [сваливания]
nearly wing borne aircraft — верт. ЛА в конце режима перехода к горизонтальному полёту
pull the aircraft off the deck — разг. отрывать ЛА от земли (при взлете)
put the aircraft nose-up — переводить [вводить] ЛА на кабрирование [в режим кабрирования]
put the aircraft through its paces — определять предельные возможности ЛА, «выжимать все из ЛА»
reduced takeoff and landing aircraft — самолёт укороченного взлета и посадки (с укороченным разбегом и пробегом)
rocket(-powered, -propelled) aircraft — ракетный ЛА, ЛА с ракетным двигателем
roll the aircraft into a bank — вводить ЛА в крен, накренять ЛА
rotate the aircraft into the climb — увеличивать угол тангажа ЛА для перехода к набору высоты, переводить ЛА в набор высоты
short takeoff and landing aircraft — самолёт короткого взлета и посадки (с коротким разбегом и пробегом)
single vertical tail aircraft — ЛА с одинарным [центральным] вертикальным оперением
strategic(-mission, -purpose) aircraft — ЛА стратегического назначения; стратегический самолёт
take the aircraft throughout its entire envelope — пилотировать ЛА во всем диапазоне полётных режимов
trim the aircraft to fly hands-and-feet off — балансировать самолёт для полёта с брошенным управлением [с брошенными ручкой и педалями]
turbofan(-engined, -powered) aircraft — ЛА с турбовентиляторными двигателями, ЛА с ТРДД
turbojet(-powered, -propelled) aircraft — ЛА с ТРД
undergraduate navigator training aircraft — учебно-тренировочный самолёт для повышенной лётной подготовки штурманов
water(-based, takeoff and landing) aircraft — гидросамолёт
-
10 TP
1) Общая лексика: inspection test plan, like TCP)2) Компьютерная техника: Thermal Printer, Touch Panel, Transactional Process, Turbo Pascal, Turing Processor3) Биология: testosteron propionate4) Медицина: Trusted Pharmacist, общий белок (total protein), тестостерона пропионат5) Американизм: Termination Power, Trade Policy, Twin Priorities6) Ботаника: Tender Perennial, Thermo Plankton7) Спорт: Technique Points, Teen Players, Tell Position, Tournament Pack, Tournament Play, Troll Persistantly, Trout Production, True Players8) Военный термин: Tactical Points, Telephone, Temporary Pass, Tentative Preference, Toilet Paper, Total Package, Total Penetration, Transition Plan, Turn Port, tank-piercing, target package, target point, target practice, technical pamphlet, technical paper, technical performance, technical problem, technical proposal, technical publication, technology parameter, telemetry processor, terminal point, test panel, test pilot, test plan, test procedure, time and percussion, top priority, tracking program, training period, training pipeline, training projectile, transfer point, transition period, transport pack, transport pilot, transportation priority, troop program, true position, turning point9) Техника: Textile Paper, Thermal Pajamas, Thread Pool, tape, tape puncher, telephone pickup, teleprinter, teleprocessing, temporary procedure, test port, test position, testosterone propionate, timing point, total pressure, transfer on positive, triple pole switch, tube plug, tube pressure, tuned plate, переходной патрубок, transition piece10) Сельское хозяйство: total porosity12) Химия: Transition Point, Triple Point13) Математика: Transforming Principle, True Positive, Tuple Production, полная положительность (total positivity), транспортная задача (transportation problem)14) Религия: Total Praise, Total Prayer15) Железнодорожный термин: Union Pacific Railroad Company16) Юридический термин: The Pedophile, Theft Protection, Traffic Police, True Parents17) Автомобильный термин: throttle position, Theft Protection Защита от угона18) Биржевой термин: Target Price, Trade Pending, Trade Police19) Ветеринария: Top Parrot20) Грубое выражение: Tits And P, Trading Partners21) Политика: Sao Tome and Principe22) Телекоммуникации: Telephone Pole, Transaction Program, Typical Provider, Transport Protocol (ISO)23) Сокращение: East Timor, Tactical Plot, Timor Portuguese, Traffic Post, Training Practice, tie plate, top, torpedo part of beam, transportation problem, true profile, Transport Protocol (ISO/CCITT Transport Services (TP0-TP4); like TCP), total protein, Technical Project24) Университет: Teaching Practice, Technology Prodigies25) Физика: Time Polygon, Toroidal Poloidal, Transmission Projection26) Физиология: Triple Penetration27) Электроника: Timing Pulse, Top Plate, Tuning Pulser28) Вычислительная техника: Transport Protocol, terminal processor, test program, Turbo Pascal (Borland), Transport Protocol (ISO/CCITT Transport Services (TP0-TP4), Twisted Pair (cable, LAN)29) Нефть: tool pusher, triple pole, буровой мастер (tool pusher), техническая статья (technical paper), давление в насосно-компрессорных трубах (tubing pressure), Tubing Puncher30) Связь: terminal portability31) Транспорт: Telecommunications Processor, Tire Pressure, Total Particulate Matter, Tour Preferred, Tour Proven, Traffic Programme, Trailer Point, Travel Permit32) Пищевая промышленность: Toss Pot, Tough Pigs33) Фирменный знак: Towne Pharmacy, Trading Post34) Экология: Timber Preserved, Tropical Park35) СМИ: Tattler Plus, The Poet, Tiny Plot, Trade Paperback, Translation Process, Two Part36) Деловая лексика: Technology Preview, Tee Productions, Typical Price37) Глоссарий компании Сахалин Энерджи: Third Parties38) Образование: Teacher Pronounced, Tried And Proven39) Сетевые технологии: Team Portal, Termination Point, Transaction Processor, Transfer Protocol, Transit Portal, transaction processing, twisted pair, витая пара, обработка транзакций, транспортный протокол40) Полимеры: test pressure, thermoplastic, tubing pressure41) Ядерная физика: Terphenyl42) Контроль качества: test point43) Пластмассы: Tube Plastic44) Сахалин Р: Technical Passport, Technical Permit, Topping Plant45) Химическое оружие: technical provision46) Безопасность: Tamper Proof47) Расширение файла: Turbo Pascal Configuration file, Turbo Profiler Session-state file, Turbo Pascal cfg file (Borland Pascal)48) Энергосистемы: transmission provider, компания-провайдер электропередачи49) Нефть и газ: technical design, trunk pipeline, МН, магистральный нефтепровод50) МИД: theoretical performance (of a single "CE")51) Электротехника: timing pulses, tin plate52) Фантастика Tiger Princess, Tongan Princess53) Имена и фамилии: Thomas Paine, Tom Petty54) Должность: Teaching Professional, The Pretender, Tidy And Punctual, Transpersonal Psychology55) Чат: Tested Positive, Top Posting56) Правительство: Terrace Park57) НАСА: Tracker Processor58) Программное обеспечение: Third Party59) Хобби: Tin Penny60) Федеральное бюро расследований: Tampa Field Office61) Международная торговля: Trading Partner -
11 Tp
1) Общая лексика: inspection test plan, like TCP)2) Компьютерная техника: Thermal Printer, Touch Panel, Transactional Process, Turbo Pascal, Turing Processor3) Биология: testosteron propionate4) Медицина: Trusted Pharmacist, общий белок (total protein), тестостерона пропионат5) Американизм: Termination Power, Trade Policy, Twin Priorities6) Ботаника: Tender Perennial, Thermo Plankton7) Спорт: Technique Points, Teen Players, Tell Position, Tournament Pack, Tournament Play, Troll Persistantly, Trout Production, True Players8) Военный термин: Tactical Points, Telephone, Temporary Pass, Tentative Preference, Toilet Paper, Total Package, Total Penetration, Transition Plan, Turn Port, tank-piercing, target package, target point, target practice, technical pamphlet, technical paper, technical performance, technical problem, technical proposal, technical publication, technology parameter, telemetry processor, terminal point, test panel, test pilot, test plan, test procedure, time and percussion, top priority, tracking program, training period, training pipeline, training projectile, transfer point, transition period, transport pack, transport pilot, transportation priority, troop program, true position, turning point9) Техника: Textile Paper, Thermal Pajamas, Thread Pool, tape, tape puncher, telephone pickup, teleprinter, teleprocessing, temporary procedure, test port, test position, testosterone propionate, timing point, total pressure, transfer on positive, triple pole switch, tube plug, tube pressure, tuned plate, переходной патрубок, transition piece10) Сельское хозяйство: total porosity12) Химия: Transition Point, Triple Point13) Математика: Transforming Principle, True Positive, Tuple Production, полная положительность (total positivity), транспортная задача (transportation problem)14) Религия: Total Praise, Total Prayer15) Железнодорожный термин: Union Pacific Railroad Company16) Юридический термин: The Pedophile, Theft Protection, Traffic Police, True Parents17) Автомобильный термин: throttle position, Theft Protection Защита от угона18) Биржевой термин: Target Price, Trade Pending, Trade Police19) Ветеринария: Top Parrot20) Грубое выражение: Tits And P, Trading Partners21) Политика: Sao Tome and Principe22) Телекоммуникации: Telephone Pole, Transaction Program, Typical Provider, Transport Protocol (ISO)23) Сокращение: East Timor, Tactical Plot, Timor Portuguese, Traffic Post, Training Practice, tie plate, top, torpedo part of beam, transportation problem, true profile, Transport Protocol (ISO/CCITT Transport Services (TP0-TP4); like TCP), total protein, Technical Project24) Университет: Teaching Practice, Technology Prodigies25) Физика: Time Polygon, Toroidal Poloidal, Transmission Projection26) Физиология: Triple Penetration27) Электроника: Timing Pulse, Top Plate, Tuning Pulser28) Вычислительная техника: Transport Protocol, terminal processor, test program, Turbo Pascal (Borland), Transport Protocol (ISO/CCITT Transport Services (TP0-TP4), Twisted Pair (cable, LAN)29) Нефть: tool pusher, triple pole, буровой мастер (tool pusher), техническая статья (technical paper), давление в насосно-компрессорных трубах (tubing pressure), Tubing Puncher30) Связь: terminal portability31) Транспорт: Telecommunications Processor, Tire Pressure, Total Particulate Matter, Tour Preferred, Tour Proven, Traffic Programme, Trailer Point, Travel Permit32) Пищевая промышленность: Toss Pot, Tough Pigs33) Фирменный знак: Towne Pharmacy, Trading Post34) Экология: Timber Preserved, Tropical Park35) СМИ: Tattler Plus, The Poet, Tiny Plot, Trade Paperback, Translation Process, Two Part36) Деловая лексика: Technology Preview, Tee Productions, Typical Price37) Глоссарий компании Сахалин Энерджи: Third Parties38) Образование: Teacher Pronounced, Tried And Proven39) Сетевые технологии: Team Portal, Termination Point, Transaction Processor, Transfer Protocol, Transit Portal, transaction processing, twisted pair, витая пара, обработка транзакций, транспортный протокол40) Полимеры: test pressure, thermoplastic, tubing pressure41) Ядерная физика: Terphenyl42) Контроль качества: test point43) Пластмассы: Tube Plastic44) Сахалин Р: Technical Passport, Technical Permit, Topping Plant45) Химическое оружие: technical provision46) Безопасность: Tamper Proof47) Расширение файла: Turbo Pascal Configuration file, Turbo Profiler Session-state file, Turbo Pascal cfg file (Borland Pascal)48) Энергосистемы: transmission provider, компания-провайдер электропередачи49) Нефть и газ: technical design, trunk pipeline, МН, магистральный нефтепровод50) МИД: theoretical performance (of a single "CE")51) Электротехника: timing pulses, tin plate52) Фантастика Tiger Princess, Tongan Princess53) Имена и фамилии: Thomas Paine, Tom Petty54) Должность: Teaching Professional, The Pretender, Tidy And Punctual, Transpersonal Psychology55) Чат: Tested Positive, Top Posting56) Правительство: Terrace Park57) НАСА: Tracker Processor58) Программное обеспечение: Third Party59) Хобби: Tin Penny60) Федеральное бюро расследований: Tampa Field Office61) Международная торговля: Trading Partner -
12 tp
1) Общая лексика: inspection test plan, like TCP)2) Компьютерная техника: Thermal Printer, Touch Panel, Transactional Process, Turbo Pascal, Turing Processor3) Биология: testosteron propionate4) Медицина: Trusted Pharmacist, общий белок (total protein), тестостерона пропионат5) Американизм: Termination Power, Trade Policy, Twin Priorities6) Ботаника: Tender Perennial, Thermo Plankton7) Спорт: Technique Points, Teen Players, Tell Position, Tournament Pack, Tournament Play, Troll Persistantly, Trout Production, True Players8) Военный термин: Tactical Points, Telephone, Temporary Pass, Tentative Preference, Toilet Paper, Total Package, Total Penetration, Transition Plan, Turn Port, tank-piercing, target package, target point, target practice, technical pamphlet, technical paper, technical performance, technical problem, technical proposal, technical publication, technology parameter, telemetry processor, terminal point, test panel, test pilot, test plan, test procedure, time and percussion, top priority, tracking program, training period, training pipeline, training projectile, transfer point, transition period, transport pack, transport pilot, transportation priority, troop program, true position, turning point9) Техника: Textile Paper, Thermal Pajamas, Thread Pool, tape, tape puncher, telephone pickup, teleprinter, teleprocessing, temporary procedure, test port, test position, testosterone propionate, timing point, total pressure, transfer on positive, triple pole switch, tube plug, tube pressure, tuned plate, переходной патрубок, transition piece10) Сельское хозяйство: total porosity12) Химия: Transition Point, Triple Point13) Математика: Transforming Principle, True Positive, Tuple Production, полная положительность (total positivity), транспортная задача (transportation problem)14) Религия: Total Praise, Total Prayer15) Железнодорожный термин: Union Pacific Railroad Company16) Юридический термин: The Pedophile, Theft Protection, Traffic Police, True Parents17) Автомобильный термин: throttle position, Theft Protection Защита от угона18) Биржевой термин: Target Price, Trade Pending, Trade Police19) Ветеринария: Top Parrot20) Грубое выражение: Tits And P, Trading Partners21) Политика: Sao Tome and Principe22) Телекоммуникации: Telephone Pole, Transaction Program, Typical Provider, Transport Protocol (ISO)23) Сокращение: East Timor, Tactical Plot, Timor Portuguese, Traffic Post, Training Practice, tie plate, top, torpedo part of beam, transportation problem, true profile, Transport Protocol (ISO/CCITT Transport Services (TP0-TP4); like TCP), total protein, Technical Project24) Университет: Teaching Practice, Technology Prodigies25) Физика: Time Polygon, Toroidal Poloidal, Transmission Projection26) Физиология: Triple Penetration27) Электроника: Timing Pulse, Top Plate, Tuning Pulser28) Вычислительная техника: Transport Protocol, terminal processor, test program, Turbo Pascal (Borland), Transport Protocol (ISO/CCITT Transport Services (TP0-TP4), Twisted Pair (cable, LAN)29) Нефть: tool pusher, triple pole, буровой мастер (tool pusher), техническая статья (technical paper), давление в насосно-компрессорных трубах (tubing pressure), Tubing Puncher30) Связь: terminal portability31) Транспорт: Telecommunications Processor, Tire Pressure, Total Particulate Matter, Tour Preferred, Tour Proven, Traffic Programme, Trailer Point, Travel Permit32) Пищевая промышленность: Toss Pot, Tough Pigs33) Фирменный знак: Towne Pharmacy, Trading Post34) Экология: Timber Preserved, Tropical Park35) СМИ: Tattler Plus, The Poet, Tiny Plot, Trade Paperback, Translation Process, Two Part36) Деловая лексика: Technology Preview, Tee Productions, Typical Price37) Глоссарий компании Сахалин Энерджи: Third Parties38) Образование: Teacher Pronounced, Tried And Proven39) Сетевые технологии: Team Portal, Termination Point, Transaction Processor, Transfer Protocol, Transit Portal, transaction processing, twisted pair, витая пара, обработка транзакций, транспортный протокол40) Полимеры: test pressure, thermoplastic, tubing pressure41) Ядерная физика: Terphenyl42) Контроль качества: test point43) Пластмассы: Tube Plastic44) Сахалин Р: Technical Passport, Technical Permit, Topping Plant45) Химическое оружие: technical provision46) Безопасность: Tamper Proof47) Расширение файла: Turbo Pascal Configuration file, Turbo Profiler Session-state file, Turbo Pascal cfg file (Borland Pascal)48) Энергосистемы: transmission provider, компания-провайдер электропередачи49) Нефть и газ: technical design, trunk pipeline, МН, магистральный нефтепровод50) МИД: theoretical performance (of a single "CE")51) Электротехника: timing pulses, tin plate52) Фантастика Tiger Princess, Tongan Princess53) Имена и фамилии: Thomas Paine, Tom Petty54) Должность: Teaching Professional, The Pretender, Tidy And Punctual, Transpersonal Psychology55) Чат: Tested Positive, Top Posting56) Правительство: Terrace Park57) НАСА: Tracker Processor58) Программное обеспечение: Third Party59) Хобби: Tin Penny60) Федеральное бюро расследований: Tampa Field Office61) Международная торговля: Trading Partner -
13 pure
1. n поэт. чистота2. n кож. шакша, собачий помёт3. a чистый; беспримесныйpure wool — чистая шерсть, шерсть 100%
4. a чистокровный; чистый5. a чистый, ясный, отчётливый6. a однородный7. a правильный, соответствующий определённым нормам, безупречный8. a теоретический; отвлечённый9. a неиспорченный, безупречный, превосходный10. a невинный, непорочный, целомудренный, чистый11. a правдивый, честный, бескорыстныйpure upright character — правдивый, честный
12. a чистейший, полнейшийpure nonsense — абсолютная чепуха; чистый вздор
13. a абсолютный, полнейший14. a церк. неосквернённый15. adv чисто; без примесей16. adv уст. диал. совершенно, совсем, абсолютно17. v уст. чистить, очищать18. v кож. обрабатывать шакшойСинонимический ряд:1. abstract (adj.) abstract; conceptual; theoretical2. chaste (adj.) celibate; chaste; clean; decent; guileless; guiltless; honest; immaculate; innocent; modest; nice; sanitary; sinless; spotless; stainless; true; unalloyed; unblemished; uncontaminated; uncorrupted; undefiled; unstained; unsullied; untainted; upright; virginal3. good (adj.) blameless; exemplary; good; inculpable; irreprehensible; irreproachable; lily-white; righteous; unblamable; virtuous4. homogeneous (adj.) faultless; genuine; homogeneous; perfect; simple; unmodified5. pedigreed (adj.) pedigreed; purebred; thoroughbred6. straight (adj.) full-strength; neat; plain; straight; unblended; undiluted; unmixed7. total (adj.) absolute; all-out; arrant; complete; consummate; downright; neat; out-and-out; outright; plain; pure and simple; sheer; straight; thorough; thoroughgoing; total; unadulterated; unbounded; undiluted; unequivocal; unmitigated; unmixed; unqualified; unrelieved8. utter (adj.) all-fired; black; blamed; blank; blankety-blank; blasted; bleeding; blessed; blighted; blinding; blithering; blue; confounded; crashing; dad-blamed; dad-blasted; dad-burned; damned; dang; darn; dashed; deuced; doggone; double-distilled; durn; utterАнтонимический ряд:coarse; corrupt; defiled; dirty; dissolute; filthy; foul; gross; immodest; impure; indecent; indelicate; libidinous; mixed; practical; tainted
См. также в других словарях:
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… … Wikipedia
theoretical — I adjective abstract, academic, assumed, conjectural, doctrina, doctrinaire, hypothetical, ideational, ideative, ideological, impractical, open to proof, philosophical, postulated, postulatory, presumed, presumptive, pure, ratio, speculative,… … Law dictionary
Proof (2005 film) — Infobox Film name = Proof caption = Promotional poster for Proof director = John Madden writer = David Auburn (play) Rebecca Miller (screenplay) starring = Gwyneth Paltrow Anthony Hopkins Jake Gyllenhaal Hope Davis producer = Alison Owen, Jeff… … Wikipedia
theoretical — I (New American Roget s College Thesaurus) adj. speculative, hypothetical, conjectural; unapplied; pure, abstract. See supposition. II (Roget s IV) modif. Syn. ideological, ideal, imaginative, unearthly, idealized, ideational, problematical,… … English dictionary for students
Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Statistical proof — The term statistical proof has several uses, both technically and colloquially. * Data analysis and statistics mdash; When mathematical statistics is used to provide a mathematical proof of a proposition regarding the probability of data under… … Wikipedia
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Natural proof — In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one. While these proofs are in some sense natural , it can be shown (assuming a widely believed conjecture… … Wikipedia
open to proof — index theoretical Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary